minimization of dfa using myhill nerode theorem